Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Expected value
• Mathematics
• Creativity
• Abstraction

SyGuS Techniques in the Core of an SMT Solver Andrew Reynolds SYNT Workshop July 22, 2017

Source URL: www.react.uni-saarland.de

• Theoretical computer science
• Logic in computer science
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories

Bulletproofs: Short Proofs for Confidential Transactions and More Benedikt B¨ unz∗1 , Jonathan Bootle†2 , Dan Boneh‡1 , Andrew Poelstra§3 , Pieter Wuille¶3 , and Greg Maxwellk 1

Source URL: web.stanford.edu

• Cryptography
• Cryptocurrencies
• Alternative currencies
• Bitcoin
• Decentralization
• Cryptographic protocols
• Non-interactive zero-knowledge proof
• Zero-knowledge proof
• Proof of knowledge
• NP
• Soundness
• IP

Liquid Alternatives Andrew Dreaneen, Head of Schroder GAIA Product & Business Development, Schroders – Andrew is responsible for business development of the Schroder GAIA hedge fund platform globally involving manager

Source URL: www.fundexpertsforum.com

Force-Move Games Tom Close Andrew Stewart

Source URL: magmo.com

• Cryptocurrencies
• Blockchains
• Computing
• Alternative currencies
• Concurrent computing
• Distributed computing
• Bitcoin
• Ethereum
• Smart contract
• Rockpaperscissors
• Alice and Bob
• ternity

Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa

Source URL: www.ece.northwestern.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Type systems
• Lambda calculus
• Subroutines
• Data types
• Gradual typing
• Racket
• Go
• Programming language

ECE/CS498: Applied Cryptography Instructor: Andrew Miller, TA: Kevin Liao Lecture 3: More Interactive Proofs 1

Source URL: gitlab-beta.engr.illinois.edu

• Cryptography
• Public-key cryptography
• Commitment scheme
• Secret sharing
• Negligible function
• XTR
• Zero-knowledge proof

Firefox OS Email HTML App Tricks Andrew Sutherland () Mozilla Corporation

Source URL: clicky.visophyte.org

A Type Discipline for Authorization in Distributed Systems C´edric Fournet Microsoft Research Andrew D. Gordon Microsoft Research

Source URL: www.doc.ic.ac.uk

• Logic
• Mathematical logic
• Metalogic
• Propositional calculus
• Boolean algebra
• Formal languages
• Syntax
• Substitution
• Admissible rule
• Model theory
• Type
• Quantifier

Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece

Source URL: www.cs.man.ac.uk

• Mathematical logic
• Theoretical computer science
• Mathematics
• Quantification
• Logic in computer science
• Formal methods
• Electronic design automation
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Universal quantification
• True quantified Boolean formula